Simulation Based Model Checking for Hierarchical Models

نویسندگان

  • Dipak K. Dey
  • Alan E. Gelfand
  • Tim B. Swartz
  • Pantelis K. Vlachos
چکیده

Recent computational advances have made it feasible to t hierarchical models in a wide range of serious applications. If one entertains a collection of such models for a given data set, the problems of model adequacy and model choice arise. We focus on the former. While model checking usually addresses the entire model speciication, model failures can occur at each hierarchical stage. Such failures include outliers, mean structure errors, dispersion misspeciication, and inappropriate exchangeabilities. We propose another approach which is entirely simulation based. It only requires the model speciication and that, for a given data set, one be able to simulate draws from the posterior under the model. By replicating a posterior of interest using data obtained under the model we can \see" the extent of variability in such a posterior. Then, we can compare the posterior obtained under the observed data with this medley of posterior replicates to ascertain whether the former is in agreement with them and accordingly, whether it is plausible that the observed data came from the proposed model. This suggests the large scale use of Monte Carlo tests, each focusing on a potential model failure. It thus suggests the possibility of examining not only the overall adequacy of the hierarchical model but, using suitable posteriors, the adequacy of each stage. 1 This raises the question of when individual stages are separable and checkable which we explore in some detail. Finally, we develop this strategy in the context of generalized linear mixed models and ooer a simulation study to demonstrate its capabilities.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Simulation-Intensive Approach for Checking Hierarchical Models

Recent computational advances have made it feasible to t hierarchical models in a wide range of serious applications. If one entertains a collection of such models for a given data set, the problems of model adequacy and model choice arise. We focus on the former. While model checking usually addresses the entire model speciication, model failures can occur at each hierarchical stage. Such fail...

متن کامل

Empirical estimates for various correlations in longitudinal-dynamic heteroscedastic hierarchical normal models

In this paper, we first define longitudinal-dynamic heteroscedastic hierarchical  normal  models. These models can be used to fit longitudinal data in which the dependency structure is constructed through a dynamic model rather than observations. We discuss different methods for estimating the hyper-parameters. Then the corresponding estimates for the hyper-parameter that causes the association...

متن کامل

Graded CTL model checking for test generation

Recently there has been a great attention from the scientific community towards the use of the model-checking technique as a tool for test generation in the simulation field. This paper aims to provide a useful mean to get more insights along these lines. By applying recent results in the field of graded temporal logics, we present a new efficient model-checking algorithm for Hierarchical Finit...

متن کامل

Improved Turbine Engine Hierarchical Modeling and Simulation Based on Engine Fuel Control System

Aircraft engines constitute a comp‌lex system, requiring adequate mon-itoring to ensure flight safety and timely maintenance. The best way to achieve this, is modeling the engine. Therefore, in this paper, a suitable mathematical model from engine controller design point of view, for a specific aero turbine engine is proposed by the aid of MATLAB/Simulink software. The model is capable of reduc...

متن کامل

Models of EFL Learners’ Vocabulary Development: Spreading Activation vs. Hierarchical Network Model

Semantic network approaches view organization or representation of internal lexicon in the form of either spreading or hierarchical system identified, respectively, as Spreading Activation Model (SAM) and Hi- erarchical Network Model (HNM). However, the validity of either model is amongst the intact issues in the literature which can be studied through basing the instruction compatible wi...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1994